Sorgenfrey line and continuous separating families
نویسندگان
چکیده
منابع مشابه
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane
We first provide a modified version of the proof in [3] that the Sorgenfrey line is T1. Here, we prove that it is in fact T2, a stronger result. Next, we prove that all subspaces of R (that is the real line with the usual topology) are Lindelöf. We utilize this result in the proof that the Sorgenfrey line is Lindelöf, which is based on the proof found in [8]. Next, we construct the Sorgenfrey p...
متن کاملOn Constructing Topological Spaces and Sorgenfrey Line
We continue Mizar formalization of General Topology according to the book [19] by Engelking. In the article the formalization of Section 1.2 is almost completed. Namely, we formalize theorems on introduction of topologies by bases, neighborhood systems, closed sets, closure operator, and interior operator. The Sorgenfrey line is defined by a basis. It is proved that the weight of it is continuu...
متن کاملSubspaces of the Sorgenfrey Line
We study three problems which involve the nature of subspaces of the Sorgenfrey Line S. It is shown that no integer power of an uncountable subspace of S can be embedded in a smaller power of S. We review the known results about the existence of uncountable X ⊆ S where X is Lindelöf. These results about Lindelöf powers are quite set-theoretic. A descriptive characterization is given of those su...
متن کاملContinuous Separating Families in Ordered Spaces and Strong Base Conditions
In this paper we study the role of Stepanova’s continuous separating families in the class of linearly ordered and generalized ordered spaces and we construct examples of paracompact spaces that have strong base properties (such as point-countable bases or σ-disjoint bases), have continuous separating families, and yet are non-metrizable. MR Classification Numbers: Primary 54F05, 54E35; Seconda...
متن کاملFuzzy quasi-metrics for the Sorgenfrey line
We endow the set of real numbers with a family of fuzzy quasi-metrics, in the sense of George and Veeramani, which are compatible with the Sorgenfrey topology. Although these fuzzy quasi-metrics are not deduced explicitly from a quasi-metric, they possess interesting properties related to completeness. For instance, we prove that they are balanced and complete in the sense of Doitchinov and tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 2004
ISSN: 0166-8641
DOI: 10.1016/j.topol.2004.01.004